Quadratic Mathematics
Quadratic Mathematics
1.I.8B
Part IB, 2001 commentLet be a binary quadratic form with integer coefficients. Define what is meant by the discriminant of , and show that is positive-definite if and only if . Define what it means for the form to be reduced. For any integer , we define the class number to be the number of positive-definite reduced binary quadratic forms (with integer coefficients) with discriminant . Show that is always finite (for negative . Find , and exhibit the corresponding reduced forms.
1.II.17B
Part IB, 2001 commentLet be a symmetric bilinear form on a finite dimensional vector space over a field of characteristic . Prove that the form may be diagonalized, and interpret the rank of in terms of the resulting diagonal form.
For a symmetric bilinear form on a real vector space of finite dimension , define the signature of , proving that it is well-defined. A subspace of is called null if ; show that has a null subspace of dimension , but no null subspace of higher dimension.
Consider now the quadratic form on given by
Write down the matrix for the corresponding symmetric bilinear form, and calculate . Hence, or otherwise, find the rank and signature of .
2.I.8B
Part IB, 2001 commentLet be a finite-dimensional vector space over a field . Describe a bijective correspondence between the set of bilinear forms on , and the set of linear maps of to its dual space . If are non-degenerate bilinear forms on , prove that there exists an isomorphism such that for all . If furthermore both are symmetric, show that is self-adjoint (i.e. equals its adjoint) with respect to .
2.II.17B
Part IB, 2001 commentSuppose is an odd prime and an integer coprime to . Define the Legendre symbol , and state (without proof) Euler's criterion for its calculation.
For any positive integer, we denote by the (unique) integer with and . Let be the number of integers for which is negative. Prove that
Hence determine the odd primes for which 2 is a quadratic residue.
Suppose that are primes congruent to 7 modulo 8 , and let
Show that 2 is a quadratic residue for any prime dividing . Prove that is divisible by some prime . Hence deduce that there are infinitely many primes congruent to 7 modulo 8 .
3.I.9B
Part IB, 2001 commentLet be the Hermitian matrix
Explaining carefully the method you use, find a diagonal matrix with rational entries, and an invertible (complex) matrix such that , where here denotes the conjugated transpose of .
Explain briefly why we cannot find as above with unitary.
[You may assume that if a monic polynomial with integer coefficients has all its roots rational, then all its roots are in fact integers.]
3.II.19B
Part IB, 2001 commentLet denote the matrix . Suppose that is a uppertriangular real matrix with strictly positive diagonal entries and that is orthogonal. Verify that .
Prove that any real invertible matrix has a decomposition , where is an orthogonal matrix and is an upper-triangular matrix with strictly positive diagonal entries.
Let now denote a real matrix, and be the decomposition of the previous paragraph. Let denote the matrix with copies of on the diagonal, and zeros elsewhere, and suppose that . Prove that is orthogonal. From this, deduce that the entries of are zero, apart from orthogonal blocks along the diagonal. Show that each has the form , for some upper-triangular matrix with strictly positive diagonal entries. Deduce that and .
[Hint: The invertible matrices with blocks along the diagonal, but with all other entries below the diagonal zero, form a group under matrix multiplication.]
1.I.8F
Part IB, 2002 commentDefine the rank and signature of a symmetric bilinear form on a finite-dimensional real vector space. (If your definitions involve a matrix representation of , you should explain why they are independent of the choice of representing matrix.)
Let be the space of all real matrices (where ), and let be the bilinear form on defined by
Find the rank and signature of .
[Hint: You may find it helpful to consider the subspace of symmetric matrices having trace zero, and a suitable complement for this subspace.]
1.II.17F
Part IB, 2002 commentLet and be real symmetric matrices, such that the quadratic form is positive definite. Show that it is possible to find an invertible matrix such that and is diagonal. Show also that the diagonal entries of the matrix may be calculated directly from and , without finding the matrix . If
find the diagonal entries of .
2.I.8F
Part IB, 2002 commentExplain what is meant by a sesquilinear form on a complex vector space . If and are two such forms, and for all , prove that for all . Deduce that if is a linear map satisfying for all , then for all .
2.II.17F
Part IB, 2002 commentDefine the adjoint of an endomorphism of a complex inner-product space . Show that if is a subspace of , then if and only if .
An endomorphism of a complex inner-product space is said to be normal if it commutes with its adjoint. Prove the following facts about a normal endomorphism of a finite-dimensional space .
(i) and have the same kernel.
(ii) and have the same eigenvectors, with complex conjugate eigenvalues.
(iii) If , then .
(iv) There is an orthonormal basis of consisting of eigenvectors of .
Deduce that an endomorphism is normal if and only if it can be written as a product , where is Hermitian, is unitary and and commute with each other. [Hint: Given , define and in terms of their effect on the basis constructed in (iv).]
3.I
Part IB, 2002 commentExplain what is meant by a quadratic residue modulo an odd prime , and show that is a quadratic residue modulo if and only if . Hence characterize the odd primes for which is a quadratic residue.
State the law of quadratic reciprocity, and use it to determine whether 73 is a quadratic residue (mod 127).
3.II.19F
Part IB, 2002 commentExplain what is meant by saying that a positive definite integral quadratic form is reduced, and show that every positive definite form is equivalent to a reduced form
State a criterion for a prime number to be representable by some form of discriminant , and deduce that is representable by a form of discriminant if and only if or . Find the reduced forms of discriminant , and hence or otherwise show that a prime is representable by the form if and only if .
[Standard results on when and 2 are squares (mod ) may be assumed.]
1.I.8G
Part IB, 2003 commentLet and be finite-dimensional vector spaces. Suppose that and are bilinear forms on and that is non-degenerate. Show that there exist linear endomorphisms of and of such that for all .
1.II.17G
Part IB, 2003 comment(a) Suppose is an odd prime and an integer coprime to . Define the Legendre symbol and state Euler's criterion.
(b) Compute and prove that
whenever and are coprime to .
(c) Let be any integer such that . Let be the unique integer such that and . Prove that
(d) Find
2.I.8G
Part IB, 2003 commentLet be a finite-dimensional real vector space and a positive definite symmetric bilinear form on . Let be a linear map such that for all and in . Prove that if is invertible, then the dimension of must be even. By considering the restriction of to its image or otherwise, prove that the rank of is always even.
2.II.17G
Part IB, 2003 commentLet be the set of all complex matrices which are hermitian, that is, , where .
(a) Show that is a real 4-dimensional vector space. Consider the real symmetric bilinear form on this space defined by
Prove that and , where denotes the identity matrix.
(b) Consider the three matrices
Prove that the basis of diagonalizes . Hence or otherwise find the rank and signature of .
(c) Let be the set of all complex matrices which satisfy . Show that is a real 4-dimensional vector space. Given , put
Show that takes values in and is a linear isomorphism between and .
(d) Define a real symmetric bilinear form on by setting , . Show that for all . Find the rank and signature of the symmetric bilinear form defined on .
3.I.9G
Part IB, 2003 commentLet be a binary quadratic form with integer coefficients. Explain what is meant by the discriminant of . State a necessary and sufficient condition for some form of discriminant to represent an odd prime number . Using this result or otherwise, find the primes which can be represented by the form .
3.II.19G
Part IB, 2003 commentLet be a finite-dimensional real vector space endowed with a positive definite inner product. A linear map is said to be an orthogonal projection if is self-adjoint and .
(a) Prove that for every orthogonal projection there is an orthogonal decomposition
(b) Let be a linear map. Show that if and , where is the adjoint of , then is an orthogonal projection. [You may find it useful to prove first that if , then and have the same kernel.]
(c) Show that given a subspace of there exists a unique orthogonal projection such that . If and are two subspaces with corresponding orthogonal projections and , show that if and only if is orthogonal to .
(d) Let be a linear map satisfying . Prove that one can define a positive definite inner product on such that becomes an orthogonal projection.